Smidts, Carol S.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Metric-based software reliability prediction approach and its application

Shi, Ying, Li, Ming, Arndt, Steven, Smidts, Carol

Journal:

Empirical Software Engineering

Year:

2016

Language:

english

File:

PDF, 1.95 MB

english, 2016

2

Validating THERP: Assessing the scope of a full-scale validation of the Technique for Human Error Rate Prediction

Shirley, Rachel Benish, Smidts, Carol, Li, Meng, Gupta, Atul

Journal:

Annals of Nuclear Energy

Year:

2015

Language:

english

File:

PDF, 927 KB

english, 2015

3

Dynamic bayesian networks based abnormal event classifier for nuclear power plants in case of cyber security threats

Vaddi, Pavan Kumar, Pietrykowski, Michael C., Kar, Diptendu, Diao, Xiaoxu, Zhao, Yunfei, Mabry, Timothy, Ray, Indrajit, Smidts, Carol

Journal:

Progress in Nuclear Energy

Year:

2020

File:

PDF, 13.93 MB

2020

4

An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique

Avik Sinha, Carol Smidts

Journal:

Empirical Software Engineering

Year:

2006

Language:

english

File:

PDF, 629 KB

english, 2006

5

Automated Identification of Causal Relationships in Nuclear Power Plant Event Reports

Zhao, Yunfei, Diao, Xiaoxu, Huang, Jonathon, Smidts, Carol

Journal:

Nuclear Technology

Year:

2019

Language:

english

File:

PDF, 1.95 MB

english, 2019

6

Performance based fire safety regulation under intentional uncertainty

Vincent Brannigan, Carol Smidts

Journal:

Fire and Materials

Year:

1999

Language:

english

File:

PDF, 94 KB

english, 1999

7

QRAS—the quantitative risk assessment system

Frank J. Groen, Carol Smidts, Ali Mosleh

Journal:

Reliability Engineering & System Safety

Year:

2006

Language:

english

File:

PDF, 552 KB

english, 2006

8

Software testing with an operational profile

Smidts, Carol, Mutha, Chetan, Rodríguez, Manuel, Gerber, Matthew J.

Journal:

ACM Computing Surveys

Year:

2014

Language:

english

File:

PDF, 1.91 MB

english, 2014

9

An automated software reliability prediction system for safety critical software

Li, Xiang, Mutha, Chetan, Smidts, Carol S.

Journal:

Empirical Software Engineering

Year:

2016

Language:

english

File:

PDF, 2.93 MB

english, 2016

10

Hazard and Operability (HAZOP) Analysis of Safety-Related Scientific Software

Li, Xiang, Gupta, Jatin, Allocco, Michael, McCartor, Gerry, Smidts, Carol

Journal:

International Journal of Reliability Quality and Safety Engineering

Year:

2015

Language:

english

File:

PDF, 785 KB

english, 2015

11

A Deductive Method for Diagnostic Analysis of Digital Instrumentation and Control Systems

Yang, Jun, Aldemir, Tunc, Smidts, Carol

Journal:

IEEE Transactions on Reliability

Year:

2018

Language:

english

File:

PDF, 5.27 MB

english, 2018

12

A control-theoretic approach to detecting and distinguishing replay attacks from other anomalies in nuclear power plants

Zhao, Yunfei, Smidts, Carol

Journal:

Progress in Nuclear Energy

Year:

2020

File:

PDF, 2.41 MB

2020

13

Probabilistic dynamics as a tool for dynamic PSA

Jacques Devooght, Carol Smidts

Journal:

Reliability Engineering & System Safety

Year:

1996

Language:

english

File:

PDF, 1.07 MB

english, 1996

14

A framework to integrate software behavior into dynamic probabilistic risk assessment

Dongfeng Zhu, Ali Mosleh, Carol Smidts

Journal:

Reliability Engineering & System Safety

Year:

2007

Language:

english

File:

PDF, 823 KB

english, 2007

15

Dynamic reliability of digital-based transmitters

Florent Brissaud, Carol Smidts, Anne Barros, Christophe Bérenguer

Journal:

Reliability Engineering & System Safety

Year:

2011

Language:

english

File:

PDF, 1.58 MB

english, 2011

16

The Cassini Mission probabilistic risk analysis: Comparison of two probabilistic dynamic methodologies

S. Swaminathan, J.-Y. Van-Halle, Carol Smidts, Ali Mosleh, Steve Bell, Kevin Rudolph, Robert J. Mulvihill, Bruce Bream

Journal:

Reliability Engineering & System Safety

Year:

1997

Language:

english

File:

PDF, 1.37 MB

english, 1997

17

Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA

Donald W. Sova, Carol Smidts

Journal:

Empirical Software Engineering

Year:

1996

Language:

english

File:

PDF, 1.46 MB

english, 1996

18

Predicting the types and locations of faults introduced during an imperfect repair process and their impact on reliability

Ying Shi, Carol Smidts

Journal:

International Journal of System Assurance Engineering and Management

Year:

2010

Language:

english

File:

PDF, 1.16 MB

english, 2010

19

Producing reliable software: an experiment

Carol Smidts, Xin Huang, James C Widmaier

Journal:

Journal of Systems and Software

Year:

2002

Language:

english

File:

PDF, 598 KB

english, 2002

20

Integrating Software into PRA: A Test-Based Approach

Bin Li, Ming Li, Carol Smidts

Journal:

Year:

2005

Language:

english

File:

PDF, 207 KB

english, 2005

21

Integrating Software into PRA: A Software-Related Failure Mode Taxonomy

Bin Li, Ming Li, Ken Chen, Carol Smidts

Journal:

Year:

2006

Language:

english

File:

PDF, 286 KB

english, 2006

22

[American Institute of Aeronautics and Astronautics 41st AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Tucson, Arizona ()] 41st AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Software-Specific Hardware Failure Profile

Huang, Bing, Li, Xiaojun, Li, Ming, Bernstein, Joseph, Smidts, Carol

Year:

2005

Language:

english

File:

PDF, 628 KB

english, 2005

23

[American Institute of Aeronautics and Astronautics 42nd AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Sacramento, California ()] 42nd AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Software Reliability Estimation of Microprocessor Transient Faults

Huang, Bing, Rodriguez, Manuel, Bernstein, Joseph, Smidts, Carol

Year:

2006

Language:

english

File:

PDF, 195 KB

english, 2006

24

How should software reliability engineering (SRE) be taught?

Garzia, Mario, Hudepohl, John, Snipes, Will, Lyu, Michael, Musa, John, Smidts, Carol, Williams, Laurie

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2006

Language:

english

File:

PDF, 174 KB

english, 2006

25

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems

Mutha, Chetan, Smidts, Carol

Year:

2011

Language:

english

File:

PDF, 256 KB

english, 2011

26

[IEEE 2007 Proceedings Annual Reliability and Maintainability Sympsoium - Orlando, FL, USA (2007.01.22-2007.01.25)] 2007 Proceedings - Annual Reliability and Maintainability Sympsoium - On The Development Of Fault Injection Profiles

Huang, Bing, Rodriguez, Manuel, Li, Ming, Smidts, Carol

Year:

2007

Language:

english

File:

PDF, 256 KB

english, 2007

27

[IEEE 2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications (WAINA) - Biopolis, Singapore (2011.03.22-2011.03.25)] 2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications - A Facility Framework for Distributed Application

Guo, Qingti, Smidts, Carol

Year:

2011

Language:

english

File:

PDF, 326 KB

english, 2011

28

Three suggestions on the definition of terms for the safety and reliability analysis of digital systems

Kim, Man Cheol, Smidts, Carol S.

Journal:

Reliability Engineering & System Safety

Year:

2015

Language:

english

File:

PDF, 1.32 MB

english, 2015

29

An integrated multidomain functional failure and propagation analysis approach for safe system design

Mutha, Chetan, Jensen, David, Tumer, Irem, Smidts, Carol

Journal:

Artificial intelligence for engineering design analysis and manufacturing

Year:

2013

Language:

english

File:

PDF, 1.42 MB

english, 2013

30

HOTTest

Sinha, Avik, Smidts, Carol

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2006

Language:

english

File:

PDF, 1.33 MB

english, 2006

31

An approach to the automatic generation of software functional architecture

Smidts, Carol S.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 241 KB

english, 2000

32

Predicting residual software fault content and their location during multi-phase functional testing using test coverage

Smidts, Carol S., Shi, Ying

Journal:

International Journal of Reliability and Safety

Year:

2013

Language:

english

File:

PDF, 462 KB

english, 2013

33

Causal Mechanism Graph ─ A new notation for capturing cause-effect knowledge in software dependability

Huang, Fuqun, Smidts, Carol

Journal:

Reliability Engineering & System Safety

Year:

2016

Language:

english

File:

PDF, 3.91 MB

english, 2016

34

Basis for non-propagation domains, their transformations and their impact on software reliability

Mutha, Chetan, Smidts, Carol

Journal:

Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

35

Fault Propagation and Effects Analysis for Designing an Online Monitoring System for the Secondary Loop of the Nuclear Power Plant Portion of a Hybrid Energy System

Diao, Xiaoxu, Zhao, Yunfei, Pietrykowski, Mike, Wang, Zhuoer, Bragg-Sitton, Shannon, Smidts, Carol

Journal:

Nuclear Technology

Year:

2018

Language:

english

File:

PDF, 1.38 MB

english, 2018

36

Bridging the simulator gap: Measuring motivational bias in digital nuclear power plant environments

Shirley, Rachel Benish, Smidts, Carol

Journal:

Reliability Engineering & System Safety

Year:

2018

Language:

english

File:

PDF, 2.21 MB

english, 2018

37

[IEEE 2018 Annual Reliability and Maintainability Symposium (RAMS) - Reno, NV (2018.1.22-2018.1.25)] 2018 Annual Reliability and Maintainability Symposium (RAMS) - A Quantification Framework for Software Safety in the Requirements Phase: Application to Nuclear Power Plants

Li, Boyuan, Huang, Fuqun, Quinn, Ted, Smidts, Carol

Year:

2018

Language:

english

File:

PDF, 3.16 MB

english, 2018

38

Foreword: Special section on Big Data for Nuclear Power Plants

Smidts, Carol, Khafizov, Marat

Journal:

Nuclear Technology

Year:

2019

Language:

english

File:

PDF, 346 KB

english, 2019

39

[IEEE 2018 Annual Reliability and Maintainability Symposium (RAMS) - Reno, NV (2018.1.22-2018.1.25)] 2018 Annual Reliability and Maintainability Symposium (RAMS) - A Method for Merging Experts' Cause-Effect Knowledge in Software Dependability

Huang, Fuqun, Li, Boyuan, Quinn, Ted, Smidts, Carol

Year:

2018

File:

PDF, 3.90 MB

2018

40

Finite-horizon Semi-Markov Game for Time-sensitive Attack Response and Probabilistic Risk Assessment in Nuclear Power Plants

Zhao, Yunfei, Huang, Linan, Smidts, Carol, Zhu, Quanyan

Journal:

Reliability Engineering & System Safety

Year:

2020

Language:

english

File:

PDF, 3.43 MB

english, 2020

41

[IEEE 2020 Annual Reliability and Maintainability Symposium (RAMS) - Palm Springs, CA, USA (2020.1.27-2020.1.30)] 2020 Annual Reliability and Maintainability Symposium (RAMS) - Human Factors Correlation Analysis for Nuclear Micro-Reactors Based on Literature Review and Evidence Theory

Zhao, Yunfei, Tosh, Patrick, Smidts, Carol, Boring, Ronald

Year:

2020

File:

PDF, 125 KB

2020

42

[IEEE 2020 Annual Reliability and Maintainability Symposium (RAMS) - Palm Springs, CA, USA (2020.1.27-2020.1.30)] 2020 Annual Reliability and Maintainability Symposium (RAMS) - Effects Assessment for Requirements Faults of Safety Critical Software in Nuclear Industry

Li, Boyuan, Smidts, Carol

Year:

2020

File:

PDF, 140 KB

2020

43

Component detection in piping and instrumentation diagrams of nuclear power plants based on neural networks

Gao, Wei, Zhao, Yunfei, Smidts, Carol

Journal:

Progress in Nuclear Energy

Year:

2020

File:

PDF, 10.15 MB

2020